Search
Feedback
About
Help
News
| Listing 1 - 2 of 2 |
Sort by
|
Periodical
ISSN: 00985589 19393520 Year: 1975 Publisher: [New York : Institute of Electrical and Electronics Engineers]
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- software engineering --- programmeren (informatica) --- Programming languages (Electronic computers) --- Software engineering --- Langages de programmation --- Génie logiciel --- Periodicals --- Périodiques --- #ETEW:TSCAT --- #BA00804 --- #TS:WBIB --- tijdschriften --- software --- Computer programming --- Programmation (Informatique) --- Génie logiciel --- Computer programming. --- Software engineering. --- Information Technology --- Computer Architecture, Languages and Compilers --- Information Science and Systems --- Software Engineering --- Algorithms --- Mathematical Sciences --- Engineering --- Electrical Engineering --- Applied Mathematics --- Information Technology. --- Algorithms. --- Mathematical Sciences. --- Périodiques --- MDTECHNO --- Logiciels --- Génie logiciel. --- Programmering --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer programming - Periodicals. --- Software engineering - Periodicals. --- Programming languages (Electronic computers) - Periodicals. --- Programmation (Informatique) - Périodiques. --- Logiciels - Périodiques. --- Langages de programmation - Périodiques.
ISBN: 0387074155 9780387074153 3540074155 9783540074151 3540379428 Year: 1975 Volume: 36 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic digital computers --- Recursive programming --- Computer programs --- Programmation des ordinateurs --- Programmation récursive --- Logiciels --- Programming --- Computer programming. --- Recursive programming. --- Computer programs. --- Programmation (Informatique) --- Programmation récursive. --- Logiciels. --- probleme decision. --- correction programme. --- schema recursion. --- schema programme. --- programmation structuree. --- programmation recursive. --- Programmation (Informatique). --- Probleme decision. --- Correction programme. --- Schema recursion. --- Schema programme. --- Programmation structuree. --- Programmation recursive. --- Programmation récursive --- #TCPW P3.0 --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F0 --- 681.3*F31 --- Computerwetenschap--?*F0 --- Software engineering. --- Logic design. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Langages de programmation --- Logique
| Listing 1 - 2 of 2 |
Sort by
|